退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于验证安全和基于性能的组件系统的弱行为等效性
Ro Aldini; Marco Bernardo;
机译:smodels系统内弱对等的自动验证
机译:通过隐式归纳证明弱完整行为规范的行为等效
机译:通过隐含感应证明对弱完整行为规范的行为等效
机译:验证安全和性能感知组件的系统的弱行为等效性
机译:在基于组件的系统中指定和验证协作行为。
机译:导管固定系统:将两个研究装置与无缝合固定装置固定敷料和猪模型中的缝合线进行比较
机译:弱行为等效性,用于验证安全的和性能感知的基于组件的系统
机译:等价验证系统,行为综合装置,方法和程序
机译:等价验证程序,计算机可读记录介质等价验证程序,等价验证设备和等价验证方法
机译:验证行为描述和寄存器传输级别描述之间的等效性的方法,装置和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。